and Computation

Results: 3364



#Item
191

xCoAX 2016: Proceedings of the fourth conference on Computation, Communication, Aesthetics, and X.

Add to Reading List

Source URL: 2016.xcoax.org

- Date: 2016-11-14 17:35:03
    192

    Correspondence and Canonicity in Non-Classical Logic Sumit Sourabh INSTITUTE FOR LOGIC LANGUAGE AND COMPUTATION Correspondence and Canonicity

    Add to Reading List

    Source URL: www.illc.uva.nl

    - Date: 2015-10-29 12:05:22
      193

      Notions of computation and monads Eugenio Moggi∗ Abstract The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one

      Add to Reading List

      Source URL: core.ac.uk

      - Date: 2014-10-31 12:11:04
        194

        Efficient Computation of Containment and Complementarity in RDF Data Cubes Marios Meimaris George Papastefanatos

        Add to Reading List

        Source URL: openproceedings.org

        - Date: 2016-04-12 08:50:25
          195

          Journal on Satisfiability, Boolean Modeling and Computation–76 DepQBF: A Dependency-Aware QBF Solver system description Florian Lonsing Armin Biere

          Add to Reading List

          Source URL: jsat.ewi.tudelft.nl

          - Date: 2010-08-13 10:16:00
            196

            CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2015; 00:1–21 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe A New Deadlock Resolution Pr

            Add to Reading List

            Source URL: www.christian-engelmann.info

            - Date: 2016-08-04 13:21:52
              197

              Abstract Practical and Deployable Secure Multi-Party Computation Debayan Gupta 2016

              Add to Reading List

              Source URL: cs-www.cs.yale.edu

              - Date: 2016-05-21 13:43:02
                198

                577 Documenta Math. Computation of p-Adic Heights and Log Convergence In celebration of John Coates’ 60th birthday

                Add to Reading List

                Source URL: www.math.uiuc.edu

                - Date: 2006-11-24 17:49:13
                  199

                  dCUDA: Hardware Supported Overlap of Computation and Communication Tobias Gysi Jeremia B¨ar

                  Add to Reading List

                  Source URL: spcl.inf.ethz.ch

                  - Date: 2016-08-02 15:55:34
                    200

                    Frigate: A Validated, Extensible, and Efficient Compiler and Interpreter for Secure Computation Benjamin Mood∗ , Debayan Gupta† , Henry Carter‡ , Kevin R. B. Butler∗ and Patrick Traynor∗ ∗ University of Flor

                    Add to Reading List

                    Source URL: work.debayangupta.com

                    - Date: 2016-01-17 17:15:26
                      UPDATE